Tropological systems are points of quantales
نویسندگان
چکیده
منابع مشابه
Tropological systems are points of quantales
We address two areas in which quantales have been used. One is of a topological nature, whereby quantales or involutive quantales are seen as generalized noncommutative spaces, and its main purpose so far has been to investigate the spectrum of noncommutative C*-algebras. The other sees quantales as algebras of abstract experiments on physical or computational systems, and has been applied to t...
متن کاملLocalic sup-lattices and tropological systems
The approach to process semantics using quantales and modules is topologized by considering tropological systems whose sets of states are replaced by locales and which satisfy a suitable stability axiom. A corresponding notion of localic suplattice (algebra for the lower powerlocale monad) is described, and it is shown that there are contravariant functors from sup-lattices to localic sup-latic...
متن کاملGirard Couples of Quantales
We introduce the concept of a Girard couple, which consists of two (not necessarily unital) quantales linked by a strong form of duality. The two basic examples of Girard couples arise in the study of endomorphism quantales and of the spectra of operator algebras. We construct, for an arbitrary sup-lattice S, a Girard quantale whose right-sided part is isomorphic to S.
متن کاملQuantales and Observational Semantics
We illustrate the idea that quantales can be regarded as algebras of experimental observations on physical systems, and we give a survey of some research in computer science where this idea has been used. We extend the mathematical framework hitherto available so that it can be applied to more general systems than before, in particular to quantum systems and systems whose behaviour is partially...
متن کاملTopological Relational Quantales
We introduce and present results about a class of quantales, the topological relational quantales, that can be associated with tuples (X,R) such that X is a topological space and R is a lower-semicontinuous equivalence relation on X (see Definition 1 below). Our motivating case studies and examples of topological relational quantales include concrete quantales such as the relational quantales o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2002
ISSN: 0022-4049
DOI: 10.1016/s0022-4049(01)00156-6